graph theory:weighted graph